implies-主題